| 1. | Truth degree of intuitionistic fuzzy propositional logic formula
直觉模糊命题逻辑公式的真度 |
| 2. | Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊谓词逻辑公式的有限和可数解释真度理论 |
| 3. | It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly
这种方法可以对逻辑公式的原始形态直接进行计算，无需化简。 |
| 4. | Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用 |
| 5. | After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method
在把根据eha操作语义得到的标记迁移系统和表示性质的线性时态逻辑公式分别转换为b chi自动机后，用基于自动机理论的模型检验方法验证umlstatecharts的正确性。 |
| 6. | The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas , while the system presented as a kripke structure
它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性。它是一个自动检验有限状态并发系统的技术。 |
| 7. | In addition , there are other important issues to be addressed , such as how to represent formal knowledge and to markup logic formula for querying and inference in semantic w eb , and how to improve retrieving efficiency and accuracy of querying via ontology learning , and etc . as the web is thought as a popular distributed platform , into which more and more traditional applications are been transitioned , there are other two promising fields for applying and further developing concepts and methods of ke in semantic web worth paying attention to two fields : iii ( intelligent information integration ) and km ( knowledge management ) in the context of semantic web
这种发展过程在解决目前web面临问题的同时， ontology成熟技术和其他传统技术如何成功地融入到web计算模式中至关重要。除了一些关键的标准和技术外，如何在语义化web中表示形式化的知识、表示查询公式实现查询乃至推理功能、为提高查询效率与准确性进行ontology学习等都是web语义化过程中的主要问题。在传统的应用向web计算环境迁移的同时， ke技术应用于语义化web最具前景的是智能信息集成和km 。 |
| 8. | As examples , a - tautologies and f - tautologies in lattice valued logic systems 1 - 4p ( x ) and l6p ( x ) are discussed in detail . ( 2 ) a kind of calculus method that is used to determine the truth - values of propositional logic formulae by means of the dynamic neural networks is proposed . it is not necessary that the formulae be simplified into normal form
本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的-重言式和f -重言式，作为两个实例，详细讨论了两个格值逻辑系统l _ 4p ( x )和l _ 6p ( x )中的重言式和f -重言式的结构。 |
